A Hierarchy of Local Decision

نویسندگان

  • Laurent Feuilloley
  • Pierre Fraigniaud
  • Juho Hirvonen
چکیده

We extend the notion of distributed decision in the framework of distributed network computing, inspired by recent results on so-called distributed graph automata. We show that, by using distributed decision mechanisms based on the interaction between a prover and a disprover, the size of the certificates distributed to the nodes for certifying a given network property can be drastically reduced. For instance, we prove that minimum spanning tree can be certified with O(logn)-bit certificates in n-node graphs, with just one interaction between the prover and the disprover, while it is known that certifying MST requires Ω(log2 n)-bit certificates if only the prover can act. The improvement can even be exponential for some simple graph properties. For instance, it is known that certifying the existence of a nontrivial automorphism requires Ω(n2) bits if only the prover can act. We show that there is a protocol with two interactions between the prover and the disprover enabling to certify nontrivial automorphism with O(logn)bit certificates. These results are achieved by defining and analysing a local hierarchy of decision which generalizes the classical notions of proof-labelling schemes and locally checkable proofs. 1998 ACM Subject Classification D.1.3 Concurrent Programming (Distributed programming), F.2.2 Nonnumerical Algorithms and Problems

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Making Decision Support System for Utilization of Biogas in Iran

The use of renewable energy sources is often suggested to be a good solution for climate change and the dependency to fossil fuel. Biogas utilization is a one of these promising options that can mitigate these problems since biogas is produced by the fermentation of waste, so is rich in methane and has the same characteristics as natural gas. Biogas has increasingly been noticed in different co...

متن کامل

Selection of chromite processing plant site using fuzzy analytic hierarchy process (FAHP)

Based on existence of the chromite deposits in the Sistan and Baluchestan province in Iran, and also various applications of chromite in different industries, it is expected that the establishment of chromite processing plant is required in the erelong. The geographical location of a processing plant can have a strong influence on the success of an industrial venture. The processing plant site ...

متن کامل

Assessment and Prioritizing the Risks of Urban Rail Transportation by Using Grey Analytical Hierarchy Process (GAHP)

Some incidents in urban railway systems affect the function of the subway’s company adversely and they could disorder the services. These events may inflict irreparable damage to passengers, employees and equipment. By recognizing the hazards existing in this type of transportation system and evaluating and prioritizing risks, we can perform appropriate actions to reduce the probability and sev...

متن کامل

Neutrosophic-Cubic Analaytic Hierarchy Process with Applications

In this paper we extend fuzzy analytic hierarchy process into neutrosophic cubic environment. The neutrosophic cubic analytic hierarchy process can be used to manage more complex problems when the decision makers has a number of uncertainty, assigning preferences values to the considered object. We also define the concept of triangular neutrosophic cubic numbers and their operations laws. The a...

متن کامل

Application of multi-criteria decision making to estimate the potential of flooding

Integrating a geographic information system and multi-criteria decision making methods have been lead to provide spatial multi-criteria decision making methods. In this study, the spatial potential of flooding was determined based on analytic network process and analytic hierarchy process. At first, six factors of flooding were determined as criteria. The criteria were the slope, hill-slope asp...

متن کامل

مکان یابی مناسب ترین محل دفن زباله های جامد شهر یاسوج با روش تحلیل چند معیاره

 Background and aims: In most multi criteria decision making issues, a desirable alternative which suit all aspects does not exist. In current assessment methods, after considering all criteria, the advantages and disadvantages of the best alternative remain imperceptible. The objective of this study was to present a simple approach for such decision making cases.  Methods: The approach was app...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2016